José Manuel Rosa Utrera's Documents

José Manuel Rosa Utrera's Documents

Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, ... (Lecture Notes in Computer Science)

Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, ... (Lecture Notes in Computer Science)
Read more
Applied General Equilibrium: An Introduction

Applied General Equilibrium: An Introduction
Read more
Special Sciences and the Unity of Science

Special Sciences and the Unity of Science
Read more
A Nonlinear Transfer Technique for Renorming

A Nonlinear Transfer Technique for Renorming
Read more
The Influence of Genetics on Contemporary Thinking

The Influence of Genetics on Contemporary Thinking
Read more
Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation: 12th International Workshop, PATMOS 2002, Seville, Spain, September 11 - 13, 2002

Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation: 12th International Workshop, PATMOS 2002, Seville, Spain, September 11 - 13, 2002
Read more
Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: proceedings

Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: proceedings
Read more
Mobile Communication and Society: A Global Perspective

Mobile Communication and Society: A Global Perspective
Read more
Intelligent Decision-making Support Systems: Foundations, Applications and Challenges (Decision Engineering)

Intelligent Decision-making Support Systems: Foundations, Applications and Challenges (Decision Engineering)
Read more
Analisis multivariado. Un manual para investigadores

Analisis multivariado. Un manual para investigadores
Read more
Rare Diseases Epidemiology

Rare Diseases Epidemiology
Read more
Methods to Study Litter Decomposition: A Practical Guide

Methods to Study Litter Decomposition: A Practical Guide
Read more
Formal Approaches to Software Testing and Runtime Verification

Formal Approaches to Software Testing and Runtime Verification
Read more
Antibiotic Policies: Fighting Resistance

Antibiotic Policies: Fighting Resistance
Read more
Enabling Semantic Web Services: The Web Service Modeling Ontology

Enabling Semantic Web Services: The Web Service Modeling Ontology
Read more
Enabling Semantic Web Services: The Web Service Modeling Ontology

Enabling Semantic Web Services: The Web Service Modeling Ontology
Read more
eHealth Beyond the Horizon - Get IT There:Proceedings of MIE2008 (Studies in Health Technology and Informatics) (Studies in Health Technology and Informatics)

eHealth Beyond the Horizon - Get IT There:Proceedings of MIE2008 (Studies in Health Technology and Informatics) (Studies in Health Technology and Informatics)
Read more
Least squares support vector machines

Least squares support vector machines
Read more
Least squares support vector machines

Least squares support vector machines
Read more
Automata, Languages and Programming, 30 conf., ICALP 2003

Automata, Languages and Programming, 30 conf., ICALP 2003
Read more
Modeling Semantic Web Services: The Web Service Modeling Language

Modeling Semantic Web Services: The Web Service Modeling Language
Read more
Modeling Semantic Web Services: The Web Service Modeling Language

Modeling Semantic Web Services: The Web Service Modeling Language
Read more
Enabling Semantic Web Services - Web Service Modeling Ontology

Enabling Semantic Web Services - Web Service Modeling Ontology
Read more
Information Technology in Health Care 2007 - Proceedings of the 3rd International Conference on Information Technology in Health Care: Socio-technical ... Studies in Health Technology and Informatics

Information Technology in Health Care 2007 - Proceedings of the 3rd International Conference on Information Technology in Health Care: Socio-technical ... Studies in Health Technology and Informatics
Read more
Platelets in Hematologic and Cardiovascular Disorders: A Clinical Handbook

Platelets in Hematologic and Cardiovascular Disorders: A Clinical Handbook
Read more
Platelets in Hematologic and Cardiovascular Disorders: A Clinical Handbook

Platelets in Hematologic and Cardiovascular Disorders: A Clinical Handbook
Read more
Platelets in Hematologic and Cardiovascular Disorders: A Clinical Handbook

Platelets in Hematologic and Cardiovascular Disorders: A Clinical Handbook
Read more
Least Squares Support Vector Machines

Least Squares Support Vector Machines
Read more
Responsible Investment in Times of Turmoil

Responsible Investment in Times of Turmoil
Read more
Least Squares Support Vector Machines

Least Squares Support Vector Machines
Read more